You have chosen Ruth Garrett Millikan, Arend Heyting and Ruth Garrett Millikan.
All three must be different; choose another philosopher.